An approximate Herbrand’s theorem and definable functions in metric structures
نویسندگان
چکیده
منابع مشابه
An approximate Herbrand's theorem and definable functions in metric structures
We develop a version of Herbrand’s theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable functions in Hilbert spaces expanded by a group of generic unitary operators and Hilbert spaces expanded by a generic subspace. We also show how Herbrand’s theor...
متن کاملDefinable Functions in Urysohn’s Metric Space
Let U denote the Urysohn sphere and consider U as a metric structure in the empty continuous signature. We prove that every definable function U → U is either a projection function or else has relatively compact range. As a consequence, we prove that many functions natural to the study of the Urysohn sphere are not definable. We end with further topological information on the range of the defin...
متن کاملGeneralized Vershik’s Theorem and Generic Metric Structures
We compare three notions of genericity of separable metric structures. Our analysis provides a general model theoretic technique of showing that structures are generic in discriptive set theoretic (topological) sense and in measure theoretic sense. In particular, it gives a new perspective on Vershik’s theorems on genericity and randomness of Urysohn’s space among separable metric spaces.
متن کاملOn Definable Skolem Functions in Weakly O-Minimal nonvaluational Structures
We prove that all known examples of weakly o-minimal non-valuational structures have no de nable Skolem functions. We show, however, that such structures eliminate imaginaries up to de nable families of cuts. Along the way we give some new examples of weakly ominimal non-valuational structures.
متن کاملDefinable functions continuous on curves in o-minimal structures
We give necessary and sufficient conditions on a non-oscillatory curve in an o-minimal structure such that, for any bounded definable function, there exists a definable closed set containing an initial segment of the curve on which the function is continuous. This question is translated into one on types: What are the conditions on an n-type such that, for any bounded definable function, there ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Logic Quarterly
سال: 2012
ISSN: 0942-5616
DOI: 10.1002/malq.201110061